#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "klee_change_macros.h"
#include "klee_change_functions.h"

int lib(int x, int y) {
  if(klee_change(0,1)){
    if (x < y) {
      int temp = x;
      x = y;
      y = temp;
    }
  }
  return (x - y);
}

int client(int c, int d){
  if (c > d ) {
    return lib(c, d);
  } else {
    return lib(d, c);
  }
}

int main(int argc, char *argv[]) {
  int a= argv[1][0] - '0';
  int b= argv[2][0] - '0';
  return client(a,b);
}
